Skip to content

[ci] PRs: Check for fork branch name#20747

Closed
dpiparo wants to merge 1 commit intoroot-project:masterfrom
dpiparo:master
Closed

[ci] PRs: Check for fork branch name#20747
dpiparo wants to merge 1 commit intoroot-project:masterfrom
dpiparo:master

Conversation

@dpiparo
Copy link
Member

@dpiparo dpiparo commented Dec 17, 2025

if identical to the name of the base-ref, error out.

Fixes #20743

This PR is made from a branch called master and is performed against master. This is a way to test if the very mechanism in this PR works.

if identical to the name of the base-ref, error out.

Fixes root-project#20743
Copy link
Contributor

@guitargeek guitargeek left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you! Seems to work and is definitely better!

@github-actions
Copy link

Test Results

0 tests   0 ✅  0s ⏱️
0 suites  0 💤
0 files    0 ❌

Results for commit f1bd80f.

@dpiparo
Copy link
Member Author

dpiparo commented Dec 17, 2025

I am closing this PR and re-opening it from a branch named properly :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[ci] PR branch not checked out in CI tests if it's called master

2 participants

Comments